- истинностная таблица
- истинностная таблица ж. Wahrheitswerttabelle f; Wahrheitswerttafel f
Большой русско-немецкий полетехнический словарь. 2009.
Большой русско-немецкий полетехнический словарь. 2009.
ИСТИННОСТНАЯ ТАБЛИЦА — таблица, выражающая истинностное значение сложного высказывания через истинностные значения входящих в него простых высказываний. И. т. имеет вид (см. таблицу, Иозначает истина , Л ложь ). Здесь А 1, ...,А п пропозициональные переменные, ( А 1 … Математическая энциклопедия
ДИЗЪЮНКЦИЯ — логическая операция, служащая для образования высказывания А или В из высказываний Аи В. В формализованных языках Д. высказываний А и В обозначается посредством Высказывания А и Вназ. дизъюнктивными членами высказывания Употреблению Д. в… … Математическая энциклопедия
КОНЪЮНКЦИЯ — логическая oперация, служащая для образования высказывания A и В из высказываний А и В. В формализованных языках К. высказываний А и В обозначается посредством Высказывания Аи Вназ. конъюнктивными членами высказывания АaВ. Употреблению К. в… … Математическая энциклопедия
ОТРИЦАНИЕ — логическая операция, в результате к рой из данного высказывания Аполучается новое высказывание не А . В формализованных языках высказывание, получающееся в результате О. высказывания А, обозначается (читается: не А , неверно, что А , Ане имеет… … Математическая энциклопедия
Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… … Википедия
Список статей по логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия